Philip Wadler

#	Item
71	Monads for functional programming Philip Wadler, University of Glasgow Department of Computing Science, University of Glasgow, G12 8QQ, Scotland Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-19 08:32:52 Functional programming Adjoint functors Control flow Models of computation Monad Eval Standard ML Pure function Futures and promises Software engineering Computing Declarative programming
72	Call-by-Value is Dual to Call-by-Name Philip Wadler Avaya Labs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:48 Mathematics Deduction Logic in computer science Curry–Howard correspondence Philosophy of computer science Type theory Natural deduction Valuation Lambda calculus Logic Mathematical logic Proof theory
73	The Girard-Reynolds Isomorphism1 Philip Wadler Avaya Labs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-05 10:17:59 Theoretical computer science Type theory Model theory Logic in computer science Dependently typed programming First-order logic Combinatory logic System F Function Mathematical logic Mathematics Lambda calculus